Formal learning

Results: 810



#Item
311Data analysis / Learning / Data mining / Machine learning / Bioinformatics / Knowledge representation and reasoning / Neuroinformatics / Semantic Web / Text mining / Science / Formal sciences / Knowledge

DEPARTMENT OF KNOWLEDGE TECHNOLOGIES E-8 The Department of Knowledge Technologies performs research in advanced information technologies aimed at acquiring, storing and managing knowledge to be used in the development of

Add to Reading List

Source URL: kt.ijs.si

Language: English - Date: 2015-01-28 08:24:45
312Automated theorem proving / Mathematical logic / Formal methods / Logic in computer science / Mathematical proof / Proof assistant / KeY / Rippling / Theorem / Logic / Mathematics / Theoretical computer science

Learning from an expert’s proof AI4FM Leo Freitas and Cliff B Jones School of Computing Science, Newcastle University, UK, {leo.freitas, cliff.jones}@ncl.ac.uk Abstract

Add to Reading List

Source URL: www.ai4fm.org

Language: English - Date: 2013-10-30 13:19:51
313Formal languages / String / Automata theory / Comparison of programming languages / Regular expression / Scheme / Natural transformation / S-expression / Lookup table / Computing / Software engineering / Computer programming

Learning Semantic String Transformations from Examples ∗ Rishabh Singh Sumit Gulwani

Add to Reading List

Source URL: vldb.org

Language: English - Date: 2012-04-26 08:00:25
314Scientific method / Formal sciences / Abduction / Deduction / Psychometrics / Statistical inference / Data analysis / Bioinformatics / Machine learning / Science / Knowledge / Statistics

Research Organization of Information and Systems The Institute of Statistical Mathematics[removed]

Add to Reading List

Source URL: www.ism.ac.jp

Language: English - Date: 2014-03-05 04:46:16
315Statistics / Data mining / Machine learning / Data analysis / Formal sciences / Text mining / Information retrieval / Artificial neural network / Web mining / Science / Natural language processing / Artificial intelligence

CHAPTER 6 Web Mining: Machine learning for Web Applications Hsinchun Chen and Michael Chau

Add to Reading List

Source URL: www.business.hku.hk

Language: English - Date: 2006-01-18 11:46:24
316Science / Machine learning / Formal sciences / Hidden Markov models / Bioinformatics / Hierarchical hidden Markov model / Face perception / Facial recognition system / Face detection / Statistics / Face recognition / Artificial intelligence

Dynamic face recognition: From human to machine vision

Add to Reading List

Source URL: profs.sci.univr.it

Language: English - Date: 2011-10-29 18:01:58
317Machine learning / Data mining / Data analysis / Formal sciences / Computational neuroscience / Pattern recognition / Neural network / Decision tree learning / Mathematica / Statistics / Science / Mathematical software

Extracting Knowledge and Computable Models from Data - Needs, Expectations, and Experience ¨ Thomas Natschlager, Felix Kossak, and Mario Drobics Software Competence Center Hagenberg, A-4232 Hagenberg, Austria

Add to Reading List

Source URL: www.unisoftwareplus.com

Language: English - Date: 2014-11-21 04:06:25
318Sheep wool / Sheep / Economy of Oceania / Sheep shearing / Shearing shed / Sheep shearer / Agriculture in Australia / Agriculture in New Zealand / Agriculture

DONALD BOYLE A formal education gave way to learning by life’s experience for Broomehill farmer and shearer, Don Boyle. When Don, in his early teens, had to take over

Add to Reading List

Source URL: www.raswa.org.au

Language: English - Date: 2015-04-06 21:24:56
319Automated theorem proving / Mathematical proof / Proof assistant / Logic programming / Coq / Mathematical logic / Formal methods / Proof / Automated reasoning / Logic / Mathematics / Theoretical computer science

A statistical relational learning challenge – extracting proof strategies from exemplar proofs Gudmund Grov University of Edinburgh, United Kingdom Ekaterina Komendantskaya

Add to Reading List

Source URL: www.ai4fm.org

Language: English - Date: 2013-10-30 13:19:51
320Concurrent computing / Data mining / Multi-core processor / Data analysis / Computer science / Algorithm / Analytics / Big data / Machine learning / Formal sciences / Science / Technology

HOW TO APPLY For MS and PhD degrees: Following instructions on the SoC Graduate Admissions page

Add to Reading List

Source URL: www.cs.utah.edu

Language: English - Date: 2015-01-12 15:52:44
UPDATE